Categorische logica definities

categorische logica

de logica als categorische constructie
Gevonden op https://anw.ivdnt.org/article/categorische%20logica

---

Categorische logica

'Categorische logica' is de tak van de wiskunde waarin hulpmiddelen en concepten uit de categorietheorie worden toegepast op de studie van wiskundige logica.
Gevonden op https://nl.wikipedia.org/wiki/Categorische_logica

---